1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
use super::*;
pub trait ConsCtx {
fn is_pointer_cons(&self) -> bool;
fn shallow_cons(&mut self, id: &TermId) -> Option<TermId>;
fn try_cons(&self, id: &Term) -> Result<Option<TermId>, ()>;
fn check_cons(&self, id: &Term) -> bool;
fn uncons(&self, code: Code) -> Option<TermId>;
fn as_dyn_cons_mut(&mut self) -> &mut dyn ConsCtx;
}
impl ConsCtx for () {
#[inline]
fn is_pointer_cons(&self) -> bool {
false
}
#[inline]
fn shallow_cons(&mut self, _id: &TermId) -> Option<TermId> {
None
}
#[inline]
fn try_cons(&self, _id: &Term) -> Result<Option<TermId>, ()> {
Ok(None)
}
#[inline]
fn check_cons(&self, _id: &Term) -> bool {
true
}
#[inline]
fn uncons(&self, _code: Code) -> Option<TermId> {
None
}
#[inline]
fn as_dyn_cons_mut(&mut self) -> &mut dyn ConsCtx {
self
}
}
impl<C: ConsCtx + ?Sized> ConsCtx for &mut C {
#[inline]
fn is_pointer_cons(&self) -> bool {
(**self).is_pointer_cons()
}
#[inline]
fn shallow_cons(&mut self, id: &TermId) -> Option<TermId> {
(**self).shallow_cons(id)
}
#[inline]
fn try_cons(&self, id: &Term) -> Result<Option<TermId>, ()> {
(**self).try_cons(id)
}
#[inline]
fn check_cons(&self, id: &Term) -> bool {
(**self).check_cons(id)
}
#[inline]
fn uncons(&self, code: Code) -> Option<TermId> {
(**self).uncons(code)
}
#[inline]
fn as_dyn_cons_mut(&mut self) -> &mut dyn ConsCtx {
(**self).as_dyn_cons_mut()
}
}